More from this Author

Abstract State Machines

by Yuri Gurevich (Editor), Philipp W. Kutter (Editor), Martin Odersky (Editor), Lothar Thiele (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Tests and Proofs

by Bertrand Meyer (Editor), Yuri Gurevich (Editor)

Computer Science Logic

by Egon Börger (Editor), Yuri Gurevich (Editor), Karl Meinke (Editor)